(4 resultados)

56,16€(IVA inc.)

Formal Techniques for Distributed Objects, Components, and Systems
  • Baier, Christel
  • 978-3-319-92611-7
  • 2018-07-06
51,99€(IVA inc.)

Foundations of Software Science and Computation Structures
  • Baier, Christel
  • 978-3-319-89365-5
  • 2018-06-03
61,32€(IVA inc.)

Principles of model checking
  • Baier, Christel
  • 978-0-262-02649-9
  • 2008-06-01
68,64€(IVA inc.)

SOFSEM 2017: Theory and Practice of Computer Science
  • Steffen, Bernhard
  • 978-3-319-51962-3
  • 2017-01-11